退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:无限状态系统的等价检验:技术和结果
Kucera, Antonin; Jancar, Petr;
机译:无限状态系统上的等效检查:技术和结果
机译:使用近似商转换系统验证无限状态动态系统
机译:验证参数化无限状态系统的框架
机译:无限状态系统的等效检查:技术和结果
机译:无限状态反应系统的可实现性检查和合成的正式技术
机译:代谢组学在系统医学和系统生物技术中的分析技术和应用
机译:使用交互式二进制决策图扫描和结构可满足性分析的等价检查组合电路的方法和系统
机译:多重核酸标准品,例如用于比较不同的检测系统和扩增技术,在同一链上包含许多系统或技术的序列
机译:利用语音处理技术对电力信号质量进行分类的方法,利用语音处理技术对电力信号质量进行监测的装置,以及利用语音处理技术对电力信号质量进行监测的系统
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。